La logique et la raison

La logique chez khwaje nasir-e tusi

Reconnaissance des Extrasystoles Ventriculaires par la Combinaison des Réseaux de Neurones et la Logique Floue

Résumé. Le signal électrocardiogramme (ECG) représente l’activité électrique du cœur. L'enregistrement du signal ECG sur de longues durées (l’Holter) est un examen complémentaire à l’ECG. Il est très employé en cardiologie car il facilite le diagnostic de certaines arythmies cardiaques. L’analyse visuelle de cet enregistrement est difficile à réaliser par le médecin à cause de la grande quantit...

Logique du temps arborescent pour la spécification et la preuve de programmes

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Nous nous intéressons dans ce papier aux réglementation qui peuvent exister dans des systèmes multi-agents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation ...

Sur la morphologie et la transmission d'Eperythrozoon coccoîdes